Tools and algorithms for the construction and analysis of systems - 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 proceedings
- Författare
- Joint European Conferences on Theory and Practice of Software 2002 : Grenoble) Perdita Stevens Joost-Pieter Katoen International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2002 : Grenoble)
- (Joost-Pieter, Katoen, Perdita Stevens (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | xiii, 482 sidor. ill. |